#!/bin/bash
lli /homes/kn308/workspace/MAliceM3/tests/m3/ack.bal

